Extended order - PDFSEARCH.IO - Document Search Engine

Extended order
Results: 177

#	Item
51	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
52	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
53	Microsoft Word - Freiburg.doc Add to Reading List Source URL: www.mindfulness-extended.nl Language: English - Date: 2013-07-23 05:31:14 Medicine Mind-body interventions Meditation Mindfulness Order of Interbeing Clinical psychology Buddhist meditation Alternative medicine Religion
54	ClubRunner ™ ADD-ON ORDER FORM Connect. Collaborate. Communicate. Add to Reading List Source URL: clubrunner.blob.core.windows.net Language: English - Date: 2014-05-30 14:28:01 Barcodes Law Barcode reader Barcode Scanner Image scanner Identification Barcode Warranty Extended warranty Automatic identification and data capture Contract law Technology
55	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
56	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering
57	Frequently Asked Questions Much of what is written here is understandably difficult for those not familiar with copyright and the world that photographers inhabit. We have created this FAQ in order to make our proposal Add to Reading List Source URL: stop43.org.uk Language: English - Date: 2013-04-15 06:26:27 Monopoly Civil law United Kingdom copyright law Plagiarism Copyright Extended collective licensing Orphan works Moral rights Intellectual property Intellectual property law Law Copyright law
58	Fish & Chips on the run ORDER FORM Pre ordering and payment of fish & Chips on the run is advisable during festive seasons. Fish & Chips on the run has extended trading hours during the festive seasons. Please ask our fr Add to Reading List Source URL: www.spanishgrill.com.au Language: English - Date: 2014-04-06 18:36:41 Fried fish Soul food Squid Fish and chips French fries Food and drink Seafood Fast food
59	Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Higher-order functions Functional languages Functional programming Automated theorem proving Type theory Haskell Fold Map QuickCheck Software engineering Computing Declarative programming
60	AlphaServer 1000 Service Guide Order Number: EK–DTLSV–SV. B01 Digital Equipment Corporation Maynard, Massachusetts Add to Reading List Source URL: download.majix.org Language: English - Date: 2013-01-10 05:02:06 Computer buses Extended Industry Standard Architecture AlphaServer Industry Standard Architecture Motherboard SCSI Bus Conventional PCI Power-on self-test Computer hardware IBM PC compatibles Computing